A.S. Troelstra's Documents

A.S. Troelstra's Documents

The Dust of 100 Dogs

The Dust of 100 Dogs
Read more
The Matisse Stories

The Matisse Stories
Read more
Orthogonal Arrays : Theory and Applications (Springer Series in Statistics)

Orthogonal Arrays : Theory and Applications (Springer Series in Statistics)
Read more
Ragnarok: The End of the Gods

Ragnarok: The End of the Gods
Read more
RAPID Value Management for the Business Cost of Ownership. Readiness, Architecture, Process, Integration, Deployment

RAPID Value Management for the Business Cost of Ownership. Readiness, Architecture, Process, Integration, Deployment
Read more
Theory of Superconductivity

Theory of Superconductivity
Read more
Dynamics, Part II

Dynamics, Part II
Read more
The Djinn in the Nightingale's Eye

The Djinn in the Nightingale's Eye
Read more
Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968
Read more
Constructivism in mathematics: An introduction

Constructivism in mathematics: An introduction
Read more
History of Constructivism in the 20th Century

History of Constructivism in the 20th Century
Read more
Basic Proof Theory, 2nd Edition (Cambridge Tracts in Theoretical Computer Science, Volume 43)

Basic Proof Theory, 2nd Edition (Cambridge Tracts in Theoretical Computer Science, Volume 43)
Read more
Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction
Read more
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Read more
Lectures on Linear Logic

Lectures on Linear Logic
Read more
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Read more
Basic Proof Theory

Basic Proof Theory
Read more
Basic proof theory

Basic proof theory
Read more
Архитектура компьютера

Архитектура компьютера
Read more
Hypercomplex Numbers: An Elementary Introduction to Algebras

Hypercomplex Numbers: An Elementary Introduction to Algebras
Read more
Sedimentary Basins and Petroleum Geology of the Middle East

Sedimentary Basins and Petroleum Geology of the Middle East
Read more
Basic proof theory

Basic proof theory
Read more
Euripides, Volume II (Loeb Classical Library)

Euripides, Volume II (Loeb Classical Library)
Read more
Компьютерные сети

Компьютерные сети
Read more
Euripides, Volume III (Loeb Classical Library)

Euripides, Volume III (Loeb Classical Library)
Read more
Learning Automata and Stochastic Optimization

Learning Automata and Stochastic Optimization
Read more
Euripides, Volume I (Loeb Classical Library)

Euripides, Volume I (Loeb Classical Library)
Read more
Ancient Cyprus

Ancient Cyprus
Read more
Microelectronic Circuits

Microelectronic Circuits
Read more
Desert Dust in the Global System

Desert Dust in the Global System
Read more